<script src="/third_party/static/jsrepl/jsrepl.js" id="jsrepl-script">
</script>
